\documentclass[english,natbib,runningheads,a3paper]{paper}
\usepackage{times}
\usepackage{longtable}
\usepackage{ifthen}
\usepackage{amsmath}

%\def\ctxm#1#2#3{#1|^{#2}_{#3}}
\newcommand{\ctxm}[3]{
   \ifthenelse{\equal{#2}{}}{#1|{\raisebox{-2pt}{$\scriptstyle#3$}}}{#1|^{#2}_{#3}}
    }
%\def\cm#1#2{#1|{\raisebox{-2pt}{$\scriptstyle#2$}}}
\def\ctx#1#2{*|^{#1}_{#2}}

\def\proveseq#1#2#3#4{(#1\doteq#2)\Rightarrow(#3\doteq#4)}

\def\semivdash{\mathbin{\tikz [baseline=-0.25ex, dashed,dotted] \draw [solid] (0em,-0.3ex) -- (0em,1.3ex); \tikz [baseline=-0.25ex, dashed,dotted] \draw [densely dotted] (0em,0.5ex) -- (0.5em,0.5ex);}}

\def\construct#1#2{#1{\leftarrow}{#2}}
\def\Construct{\leftarrow}
\def\eliminate#1#2#3{#1\underrightarrow{\vspace{-0.45em}^{~#2~}}#3}
\def\Eliminate{\rightarrow}

\def\symsum#1#2{\{{#1}\}_{#2}}
\def\symsumat#1#2#3{\{{#1}\}_{#2}@{#3}}

\def\citem#1#2#3{\ctxm{#1}{#2}{#3}}
\def\citemr#1#2#3{\ctxm{\mathbf{#1}}{#2}{#3}}
\def\globalidr#1#2#3{\ctxm{\mathbf{#1}}{#2}{#3;\emptyset}}
\def\globalid#1#2#3{\ctxm{#1}{#2}{#3;\emptyset}}
\def\id#1#2#3#4{\ctxm{#1}{#2}{#3;#4}}
\def\di#1#2#3{\ctxm{#1}{#2}{#3;\top}}
\def\instdata#1#2{\ctxm{#1}{#2}{\cdot;\bot}}
\def\instdatar#1#2{\ctxm{\mathbf{#1}}{#2}{\cdot;\bot}}
\def\ninstdatar#1#2{\ctxm{\mathbf{#1}}{#2}{\cdot;\top}}
\def\ninstdata#1#2{\ctxm{#1}{#2}{\cdot;\top}}

\def\Symder{\semivdash}
\def\symder#1#2#3{{#1}\semivdash{#2}{\Rightarrow}{#3}}
\def\symders#1#2#3{{#1}{\semivdash}{#2}{\Rightarrow}{#3}}
\def\symderi#1#2{{#1}{\Rightarrow}{#2}}
\def\Symdder{\semivdash}
\def\symdder#1#2#3{{#1}\semivdash{#2}{\Rightarrow}{#3}}
\def\Nsymder{\not\semivdash}
\def\nsymder#1#2{{#1}\not\semivdash{#2}}
\def\nsymderr#1#2#3{{#1}\not\semivdash{#2}{\Rightarrow}{#3}}
\def\symderfrom#1#2#3#4{{#1}\semivdash{#2}{\Rightarrow}({#3}{\Rightarrow}{#4})}
\def\semicvdash{\semivdash^+}

\def\proto{\mathfrak{Pr}}
\def\protorole#1{\mathfrak{Pr}(\prole{#1})}
\def\protoi#1{\mathfrak{Pr}_{#1}}
\def\protoirole#1#2{\mathfrak{Pr}_{#1}(\prole{#2})}
\def\prole#1{#1}

\def\sympr#1#2{\mathfrak{#1}(#2)}
\def\sympro#1#2#3{\ctxm{\mathfrak{#1}(#2)}{}{#3}}
\def\symprix#1#2{\mathfrak{P}_{#1}(#2)} 
\def\symproix#1#2#3{\ctxm{\mathfrak{P}_{#1}(#2)}{}{#3}}

\def\ico#1#2{#1 {\doteq^i} #2}
\def\eco#1#2{#1 {\doteq^c} #2}
\def\ecos#1#2{#1{=^c}#2}

\def\directlink{\dashleftrightarrow}
%\def\directlink{\leftrightarrow^0}

\def\true{\textbf{T}}
\def\false{\textbf{F}}

\newcommand{\instrandom}[1]{\overline{\mathbf{#1}}}

\begin{document}

\input{idemix2-all}


\end{document}
